val h: M => N